Avionics software - PDFSEARCH.IO - Document Search Engine

Avionics software
Results: 266

#	Item
101	Qualification of a Software Development Tool According to ISO26262 Tool Qualification for the New Automotive Standard from a Tool Manufacturer’s Perspective Erol Simsek, iSYSTEM Summary Add to Reading List Source URL: www.isystem.com Language: English - Date: 2012-04-30 12:21:52 Quality Technology Avionics Software testing DO-178B Software development process Validation IEC 61508 Tool Software development Software Safety
102	Technical Data Sheet SCADE Suite® R16 Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2015-03-16 10:04:10 Embedded systems Esterel Technologies Software requirements Avionics Safety Hardware description languages Computing Electronics Software development
103	Seapine_Logo_gradient_0610 Add to Reading List Source URL: downloads.seapine.com Language: English - Date: 2015-01-29 15:54:15 Software project management Computing DO-178B Safety Application lifecycle management Traceability MKS Inc. Software development Technology Avionics
104	FOCUS: Safety-Critical Software Testing or Formal Verification: DO-178C Alternatives and Industrial Experience Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-05-03 05:26:01 Formal methods Software requirements Software testing Avionics Embedded systems DO-178B DO-178C Verification Formal verification Software development Computing Software
105	Software MAGNET software is tailored for use with Sokkia GPS/GNSS receivers in both field and office works. GRX2 Add to Reading List Source URL: www.totalsurvey.com.au Language: English - Date: 2013-01-24 05:44:05 Navigation Avionics Geodesy Global Positioning System Satellite navigation GPS navigation device GLONASS GPS signals Differential GPS Technology Satellite navigation systems GPS
106	ITP[removed]Are we there yet? 20 Years of industrial theorem proving with Spark July 15, 2014 Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2014-10-29 18:17:58 Ada programming language SPARK Formal methods Avionics Mathematical logic DO-178B Automated theorem proving Ada Type safety Computing Software engineering Programming language theory
107	Aerotech Powers Aviation Software Development with Seapine Solutions Aerotech, a UK-based provider of aviation software solutions, designs, develops, and tests software entirely within a regulatory environment. The compa Add to Reading List Source URL: downloads.seapine.com Language: English - Date: 2011-12-15 09:04:50 Software project management Electronics DO-178B Safety Application lifecycle management Traceability Seapine Software MKS Inc. Technology Computing Avionics
108	Implementation of a USRP based Real-Time Global Navigation Satellite System (GNSS) Receiver Nav@IST Research Group, Institute of Space Technology, Islamabad Add to Reading List Source URL: www.suparco.gov.pk Language: English - Date: 2014-12-01 04:30:27 Software-defined radio Navigation Geodesy Avionics Measurement Universal Software Radio Peripheral Satellite navigation Bias tee Electrical impedance Electronics Satellite navigation systems Technology
109	SAFE SOFTWARE FOR SPACE APPLICATIONS: BUILDING ON THE DO-178 EXPERIENCE Cheryl A. Dorsey Digital Flight / Solutions Add to Reading List Source URL: iaassconference2013.space-safety.org Language: English - Date: 2013-06-23 13:12:48 Electronics Embedded systems Safety Computing Systems engineering DO-178B DO-178C Requirement Verification Software development Avionics Software requirements
110	aiT Worst-Case Execution Time Analyzer AbsInt GmbH 2012 Add to Reading List Source URL: www.absint.com Language: English - Date: 2012-04-23 04:44:53 Computing Electronics Avionics Software requirements Formal methods DO-178B Worst-case execution time Astrée DO-178C Software development Embedded systems Safety